71![I2P’s Usage Characterization Juan Pablo Timpanaro, Isabelle Chrisment*, Olivier Festor INRIA Nancy-Grand Est, France *LORIA - ESIAL, Henri Poincar´e University, Nancy 1, France Abstract. We present the first monitori I2P’s Usage Characterization Juan Pablo Timpanaro, Isabelle Chrisment*, Olivier Festor INRIA Nancy-Grand Est, France *LORIA - ESIAL, Henri Poincar´e University, Nancy 1, France Abstract. We present the first monitori](https://www.pdfsearch.io/img/afdb7f23840d87d75a23b45bbe7dfc8d.jpg) | Add to Reading ListSource URL: tma2012.ftw.atLanguage: English |
---|
72![Young integrals and SPDEs Antoine Lejay Project OMEGA, INRIA Lorraine IECN, Campus Scientifique BP 239 – 54506 Vandœuvre-l`es-Nancy CEDEX, France Young integrals and SPDEs Antoine Lejay Project OMEGA, INRIA Lorraine IECN, Campus Scientifique BP 239 – 54506 Vandœuvre-l`es-Nancy CEDEX, France](https://www.pdfsearch.io/img/d630f8f6fa3848909384d435f3cc03c6.jpg) | Add to Reading ListSource URL: www.ceremade.dauphine.frLanguage: English - Date: 2008-08-24 08:51:44
|
---|
73![Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany](https://www.pdfsearch.io/img/26dc0a95bf079717257b789870474ea3.jpg) | Add to Reading ListSource URL: www.eis.mdx.ac.ukLanguage: English - Date: 2015-02-18 05:37:17
|
---|
74![Types for controlling heap and space in Java Emmanuel Hainry and Romain P´echoux Universit´e de Lorraine, LORIA, UMR 7503, Nancy, France {hainry,pechoux}@loria.fr Abstract. A type system is introduced for a strict but Types for controlling heap and space in Java Emmanuel Hainry and Romain P´echoux Universit´e de Lorraine, LORIA, UMR 7503, Nancy, France {hainry,pechoux}@loria.fr Abstract. A type system is introduced for a strict but](https://www.pdfsearch.io/img/a5d26fbd840231ca838e38797891319b.jpg) | Add to Reading ListSource URL: fopara2013.cs.unibo.itLanguage: English - Date: 2013-08-10 15:04:01
|
---|
75![Alan Schmitt 2 janvier 2012 CV n´e le 02 avril 1974 a` Nancy (Meurthe et Moselle, France) Alan Schmitt 2 janvier 2012 CV n´e le 02 avril 1974 a` Nancy (Meurthe et Moselle, France)](https://www.pdfsearch.io/img/5c86aa877bf9710e1b0e83ce913d88e1.jpg) | Add to Reading ListSource URL: alan.petitepomme.netLanguage: French - Date: 2014-01-18 03:32:54
|
---|
76![Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France](https://www.pdfsearch.io/img/800ab969b234871fccf170d26be12da6.jpg) | Add to Reading ListSource URL: users.cecs.anu.edu.auLanguage: English - Date: 2006-01-18 20:52:47
|
---|
77![Anne Breton, née le 05 avril 1977 à Nancy, vit et travaille à Lille, France formationFormation en céramique, depuis 2013, cours de sculpture des Beaux-Arts de Tournai / BelgiqueFormation Art Pl Anne Breton, née le 05 avril 1977 à Nancy, vit et travaille à Lille, France formationFormation en céramique, depuis 2013, cours de sculpture des Beaux-Arts de Tournai / BelgiqueFormation Art Pl](https://www.pdfsearch.io/img/2641fa84fba46886fa9aef174c50f546.jpg) | Add to Reading ListSource URL: www.annebreton.comLanguage: French |
---|
78![Post-doc position offer at LORIA, Nancy, France Secure electronic voting systems Laboratory and university LORIA, Nancy University, France Team in the lab Cassis team, ProSecure project Head of the ProSecure project Vér Post-doc position offer at LORIA, Nancy, France Secure electronic voting systems Laboratory and university LORIA, Nancy University, France Team in the lab Cassis team, ProSecure project Head of the ProSecure project Vér](https://www.pdfsearch.io/img/7e722f743bf7f4c5a87147432e607ed8.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2014-09-08 04:23:53
|
---|
79![Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´](https://www.pdfsearch.io/img/df30892e46cea5baa1b3ecf4998e5ca9.jpg) | Add to Reading ListSource URL: www.glyc.dc.uba.arLanguage: English - Date: 2012-08-27 11:06:28
|
---|
80![Radius-Margin Bound on the Leave-One-Out Error of the LLW-M-SVM Yann Guermeur LORIA-CNRS Campus Scientifique, BPVandœuvre-l`es-Nancy cedex, France Radius-Margin Bound on the Leave-One-Out Error of the LLW-M-SVM Yann Guermeur LORIA-CNRS Campus Scientifique, BPVandœuvre-l`es-Nancy cedex, France](https://www.pdfsearch.io/img/dbd601adbd1d03035103838c273ce385.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2009-02-12 12:18:50
|
---|